2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 174 242 152 0 924 0 0 2779

N.S.

1 0.95 1.32 0.83 0.00 5.02 0.00 0.00 15.10

time (sec)

N/A 0.369 0.863 1.280 0.000 0.406 0.000 0.000 15.155

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 213 409 193 0 1089 0 0 3692

N.S.

1 0.93 1.79 0.84 0.00 4.76 0.00 0.00 16.12

time (sec)

N/A 0.412 1.330 1.933 0.000 0.427 0.000 0.000 15.245

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 198 172 209 0 1311 0 461 5022

N.S.

1 1.08 0.93 1.14 0.00 7.12 0.00 2.51 27.29

time (sec)

N/A 0.443 1.423 2.230 0.000 0.431 0.000 0.739 17.019

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 162 157 170 0 1275 0 695 1273

N.S.

1 1.05 1.01 1.10 0.00 8.23 0.00 4.48 8.21

time (sec)

N/A 0.370 1.311 1.307 0.000 0.447 0.000 0.780 16.086

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 143 128 0 1125 0 912 2991

N.S.

1 1.03 1.13 1.01 0.00 8.86 0.00 7.18 23.55

time (sec)

N/A 0.358 2.226 0.716 0.000 0.397 0.000 0.724 16.322

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 168 137 114 0 1087 0 397 443

N.S.

1 1.34 1.10 0.91 0.00 8.70 0.00 3.18 3.54

time (sec)

N/A 0.314 1.538 0.688 0.000 0.405 0.000 0.791 16.778

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 168 128 128 0 1079 0 361 671

N.S.

1 1.46 1.11 1.11 0.00 9.38 0.00 3.14 5.83

time (sec)

N/A 0.290 0.966 0.574 0.000 0.410 0.000 0.449 15.423

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 134 143 155 0 1229 0 672 371

N.S.

1 0.96 1.03 1.12 0.00 8.84 0.00 4.83 2.67

time (sec)

N/A 0.355 1.210 1.036 0.000 0.412 0.000 0.752 14.809

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 141 165 177 0 1365 0 937 1670

N.S.

1 0.95 1.11 1.19 0.00 9.16 0.00 6.29 11.21

time (sec)

N/A 0.373 1.644 1.443 0.000 0.409 0.000 0.700 15.907

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 167 174 195 0 1477 0 471 416

N.S.

1 0.94 0.98 1.10 0.00 8.30 0.00 2.65 2.34

time (sec)

N/A 0.385 3.617 2.016 0.000 0.462 0.000 0.740 14.362

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 183 193 213 0 1585 0 467 1704

N.S.

1 0.93 0.98 1.08 0.00 8.05 0.00 2.37 8.65

time (sec)

N/A 0.412 6.332 2.954 0.000 0.438 0.000 0.809 16.823

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

236 260 486 209 0 2649 0 0 3941

N.S.

1 1.10 2.06 0.89 0.00 11.22 0.00 0.00 16.70

time (sec)

N/A 0.622 2.369 4.122 0.000 0.595 0.000 0.000 15.996

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

210 228 565 214 0 2507 0 0 3612

N.S.

1 1.09 2.69 1.02 0.00 11.94 0.00 0.00 17.20

time (sec)

N/A 0.455 2.674 2.152 0.000 0.541 0.000 0.000 16.130

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

217 228 469 188 0 2507 0 0 3839

N.S.

1 1.05 2.16 0.87 0.00 11.55 0.00 0.00 17.69

time (sec)

N/A 0.415 2.584 2.084 0.000 0.601 0.000 0.000 16.688

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

186 211 345 204 0 2049 0 577 3060

N.S.

1 1.13 1.85 1.10 0.00 11.02 0.00 3.10 16.45

time (sec)

N/A 0.381 0.479 1.877 0.000 0.424 0.000 0.999 15.735

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

221 232 469 241 0 2269 0 693 3507

N.S.

1 1.05 2.12 1.09 0.00 10.27 0.00 3.14 15.87

time (sec)

N/A 0.408 0.481 2.372 0.000 0.561 0.000 0.867 16.516

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

325 311 600 243 0 2711 0 0 7491

N.S.

1 0.96 1.85 0.75 0.00 8.34 0.00 0.00 23.05

time (sec)

N/A 0.538 1.218 2.690 0.000 0.862 0.000 0.000 17.439

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 376 262 266 0 3544 0 1563 7640

N.S.

1 1.18 0.82 0.83 0.00 11.08 0.00 4.88 23.88

time (sec)

N/A 0.770 6.686 1.971 0.000 0.943 0.000 0.935 17.819

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 271 238 262 0 3135 0 1481 3400

N.S.

1 1.16 1.02 1.12 0.00 13.45 0.00 6.36 14.59

time (sec)

N/A 0.475 2.951 2.166 0.000 0.864 0.000 0.815 16.336

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 238 225 218 0 2796 0 1264 2980

N.S.

1 1.22 1.15 1.12 0.00 14.34 0.00 6.48 15.28

time (sec)

N/A 0.427 6.528 1.780 0.000 0.623 0.000 0.816 16.004

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 257 255 250 0 3445 0 1407 3842

N.S.

1 1.17 1.16 1.14 0.00 15.73 0.00 6.42 17.54

time (sec)

N/A 0.450 1.671 1.941 0.000 0.923 0.000 0.812 17.168

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 261 230 260 0 3477 0 1506 3675

N.S.

1 1.24 1.10 1.24 0.00 16.56 0.00 7.17 17.50

time (sec)

N/A 0.476 4.162 2.019 0.000 0.934 0.000 0.509 17.091

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 237 274 269 0 3648 0 1545 4411

N.S.

1 1.00 1.16 1.14 0.00 15.46 0.00 6.55 18.69

time (sec)

N/A 0.709 2.321 2.625 0.000 1.105 0.000 0.893 18.227

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

315 371 785 342 0 4640 0 0 6675

N.S.

1 1.18 2.49 1.09 0.00 14.73 0.00 0.00 21.19

time (sec)

N/A 0.682 7.067 5.587 0.000 1.069 0.000 0.000 19.407

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

290 305 630 303 0 4185 0 0 5824

N.S.

1 1.05 2.17 1.04 0.00 14.43 0.00 0.00 20.08

time (sec)

N/A 0.534 2.267 5.260 0.000 0.745 0.000 0.000 18.678

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

313 361 786 347 0 4524 0 0 6362

N.S.

1 1.15 2.51 1.11 0.00 14.45 0.00 0.00 20.33

time (sec)

N/A 0.566 6.238 5.971 0.000 0.975 0.000 0.000 19.510

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

288 316 631 403 0 4050 0 1076 5566

N.S.

1 1.10 2.19 1.40 0.00 14.06 0.00 3.74 19.33

time (sec)

N/A 0.537 1.142 5.865 0.000 0.752 0.000 1.646 18.396

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

313 364 784 430 0 4160 0 793 5753

N.S.

1 1.16 2.50 1.37 0.00 13.29 0.00 2.53 18.38

time (sec)

N/A 0.538 1.648 6.150 0.000 0.890 0.000 1.960 18.284

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

617 591 920 384 0 5020 0 0 12247

N.S.

1 0.96 1.49 0.62 0.00 8.14 0.00 0.00 19.85

time (sec)

N/A 0.940 10.945 7.505 0.000 2.204 0.000 0.000 20.969

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 351 331 374 0 5219 0 1987 5508

N.S.

1 1.10 1.04 1.17 0.00 16.36 0.00 6.23 17.27

time (sec)

N/A 0.678 10.985 4.523 0.000 1.327 0.000 1.317 19.354

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 382 350 432 0 5961 0 2231 6391

N.S.

1 1.11 1.02 1.26 0.00 17.38 0.00 6.50 18.63

time (sec)

N/A 0.832 6.226 4.787 0.000 2.031 0.000 1.398 20.090

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 357 316 372 0 5510 0 1986 5892

N.S.

1 1.14 1.01 1.19 0.00 17.60 0.00 6.35 18.82

time (sec)

N/A 0.804 11.440 4.438 0.000 1.437 0.000 1.405 18.728

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 389 457 422 0 6215 0 1184 6646

N.S.

1 1.12 1.32 1.22 0.00 17.91 0.00 3.41 19.15

time (sec)

N/A 0.855 7.167 5.493 0.000 2.366 0.000 1.981 19.029

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 362 333 416 0 6152 0 1131 6267

N.S.

1 1.13 1.04 1.30 0.00 19.29 0.00 3.55 19.65

time (sec)

N/A 0.810 8.211 5.664 0.000 2.512 0.000 0.710 19.239

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 378 357 437 0 6323 0 2203 7364

N.S.

1 1.06 1.00 1.22 0.00 17.71 0.00 6.17 20.63

time (sec)

N/A 1.381 11.400 6.472 0.000 2.654 0.000 1.670 19.944

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 18 17 43 724 51 17

N.S.

1 1.00 0.96 0.72 0.68 1.72 28.96 2.04 0.68

time (sec)

N/A 0.177 0.331 1.141 0.395 0.270 21.730 0.364 13.765

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

487 541 148 101 0 823 0 318 407

N.S.

1 1.11 0.30 0.21 0.00 1.69 0.00 0.65 0.84

time (sec)

N/A 1.320 4.015 0.621 0.000 0.384 0.000 0.839 14.971

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 200 45 126 0 117 0 170 236

N.S.

1 0.65 0.15 0.41 0.00 0.38 0.00 0.55 0.76

time (sec)

N/A 0.465 5.036 1.533 0.000 0.302 0.000 0.578 14.512

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

477 477 3120 439 0 0 0 0 0

N.S.

1 1.00 6.54 0.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.549 26.937 3.265 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

521 587 2045 0 0 0 0 0 0

N.S.

1 1.13 3.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.835 24.443 0.000 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

484 488 2854 837 0 0 0 0 0

N.S.

1 1.01 5.90 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.560 27.465 3.870 0.000 0.000 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

431 435 2663 398 0 0 0 0 0

N.S.

1 1.01 6.18 0.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.499 23.803 2.854 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 294 163 0 0 0 0 0

N.S.

1 1.00 1.72 0.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 7.810 2.047 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

469 496 489 0 0 0 0 0 0

N.S.

1 1.06 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.681 14.570 0.000 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

776 802 1442 0 0 0 0 0 0

N.S.

1 1.03 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.295 25.158 0.000 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

499 541 287 881 0 0 0 0 0

N.S.

1 1.08 0.58 1.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.801 3.316 4.699 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 195 396 0 0 0 0 0

N.S.

1 1.00 1.20 2.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 1.360 2.881 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

493 515 464 0 0 0 0 0 0

N.S.

1 1.04 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.624 13.203 0.000 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-2) F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

384 384 149 109 0 0 0 0 1515

N.S.

1 1.00 0.39 0.28 0.00 0.00 0.00 0.00 3.95

time (sec)

N/A 0.891 5.125 1.057 0.000 0.000 0.000 0.000 19.689

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 148 68 0 15501 0 0 513

N.S.

1 1.00 0.87 0.40 0.00 90.65 0.00 0.00 3.00

time (sec)

N/A 0.525 5.076 2.319 0.000 1.713 0.000 0.000 15.278

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

245 257 174 85 0 665483 0 0 816

N.S.

1 1.05 0.71 0.35 0.00 2716.26 0.00 0.00 3.33

time (sec)

N/A 0.675 5.123 1.689 0.000 6.398 0.000 0.000 16.281

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-2) F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

379 385 149 109 0 0 0 0 1515

N.S.

1 1.02 0.39 0.29 0.00 0.00 0.00 0.00 4.00

time (sec)

N/A 0.732 5.117 1.006 0.000 0.000 0.000 0.000 18.730

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 148 71 0 16697 0 0 513

N.S.

1 1.00 0.85 0.41 0.00 95.41 0.00 0.00 2.93

time (sec)

N/A 0.505 5.069 2.142 0.000 1.760 0.000 0.000 14.755

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

213 213 174 88 0 643307 0 0 818

N.S.

1 1.00 0.82 0.41 0.00 3020.22 0.00 0.00 3.84

time (sec)

N/A 0.485 5.020 1.734 0.000 6.886 0.000 0.000 16.360

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 411 87 0 848 0 0 3513

N.S.

1 1.00 2.11 0.45 0.00 4.35 0.00 0.00 18.02

time (sec)

N/A 0.568 5.093 0.685 0.000 0.407 0.000 0.000 14.267

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 83 79 72 71 138 0 185 98

N.S.

1 0.81 0.77 0.70 0.69 1.34 0.00 1.80 0.95

time (sec)

N/A 0.334 5.094 2.174 0.332 0.286 0.000 0.297 13.958

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 129 141 71 0 893 0 0 945

N.S.

1 0.59 0.65 0.33 0.00 4.10 0.00 0.00 4.33

time (sec)

N/A 0.426 5.052 4.451 0.000 0.427 0.000 0.000 14.956

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 197 413 87 0 858 0 0 3513

N.S.

1 1.05 2.21 0.47 0.00 4.59 0.00 0.00 18.79

time (sec)

N/A 0.505 5.093 0.648 0.000 0.387 0.000 0.000 13.667

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 117 51 0 239 0 197 99

N.S.

1 1.00 1.65 0.72 0.00 3.37 0.00 2.77 1.39

time (sec)

N/A 0.498 1.584 0.721 0.000 0.322 0.000 0.349 13.561

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 69 64 176 0 166 0 220 141

N.S.

1 0.78 0.72 1.98 0.00 1.87 0.00 2.47 1.58

time (sec)

N/A 0.422 3.400 5.766 0.000 0.321 0.000 0.532 13.792

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 30 29 27 28 27 580 28 34

N.S.

1 0.79 0.76 0.71 0.74 0.71 15.26 0.74 0.89

time (sec)

N/A 0.271 0.014 0.367 0.240 0.260 12.862 0.301 0.106

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 26 23 20 22 21 311 22 19

N.S.

1 0.90 0.79 0.69 0.76 0.72 10.72 0.76 0.66

time (sec)

N/A 0.270 0.010 0.381 0.269 0.259 5.828 0.320 0.060

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 15 14 14 13 124 14 16

N.S.

1 1.00 0.83 0.78 0.78 0.72 6.89 0.78 0.89

time (sec)

N/A 0.254 0.006 0.316 0.244 0.278 2.588 0.310 0.043

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 15 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 2.50 1.00 1.00

time (sec)

N/A 0.214 0.008 0.234 0.211 0.254 0.811 0.326 13.750

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 21 20 19 23 7

N.S.

1 1.00 1.00 1.14 3.00 2.86 2.71 3.29 1.00

time (sec)

N/A 0.212 0.004 0.279 0.240 0.284 0.106 0.307 13.737

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 43 51 46 0 47 31

N.S.

1 1.00 0.86 1.23 1.46 1.31 0.00 1.34 0.89

time (sec)

N/A 0.353 0.008 0.675 0.232 0.288 0.000 0.305 13.605

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 26 20 37 23 473 36 25

N.S.

1 1.00 0.79 0.61 1.12 0.70 14.33 1.09 0.76

time (sec)

N/A 0.292 0.004 0.355 0.325 0.258 3.751 0.308 13.575

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 18 14 21 12 153 24 13

N.S.

1 0.90 0.90 0.70 1.05 0.60 7.65 1.20 0.65

time (sec)

N/A 0.247 0.003 0.243 0.326 0.264 1.448 0.302 13.335

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 2 14 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.40 2.80 1.00

time (sec)

N/A 0.191 0.001 0.258 0.400 0.275 0.458 0.299 12.919

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 20 32 37 37 0 38 25

N.S.

1 0.91 0.91 1.45 1.68 1.68 0.00 1.73 1.14

time (sec)

N/A 0.284 0.006 0.435 0.297 0.277 0.000 0.320 13.877

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 15 14 14 19 0 14 13

N.S.

1 1.00 0.83 0.78 0.78 1.06 0.00 0.78 0.72

time (sec)

N/A 0.256 0.006 0.388 0.313 0.266 0.000 0.308 13.680

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 26 23 20 22 25 0 22 21

N.S.

1 0.90 0.79 0.69 0.76 0.86 0.00 0.76 0.72

time (sec)

N/A 0.269 0.002 0.654 0.222 0.251 0.000 0.301 13.211

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 26 23 20 22 21 362 22 19

N.S.

1 0.90 0.79 0.69 0.76 0.72 12.48 0.76 0.66

time (sec)

N/A 0.257 0.003 0.328 0.257 0.268 32.285 0.301 13.051

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 15 14 14 13 144 14 16

N.S.

1 1.00 0.83 0.78 0.78 0.72 8.00 0.78 0.89

time (sec)

N/A 0.256 0.001 0.359 0.218 0.282 13.230 0.300 0.039

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 19 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 3.17 1.00 1.00

time (sec)

N/A 0.224 0.002 0.304 0.224 0.265 6.088 0.290 0.026

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 8 21 20 22 23 7

N.S.

1 1.00 1.00 1.14 3.00 2.86 3.14 3.29 1.00

time (sec)

N/A 0.235 0.001 0.320 0.236 0.252 2.323 0.295 0.058

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 20 32 41 37 117 38 30

N.S.

1 0.91 0.91 1.45 1.86 1.68 5.32 1.73 1.36

time (sec)

N/A 0.278 0.001 0.433 0.232 0.278 0.326 0.316 0.077

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 43 57 46 0 47 31

N.S.

1 1.00 0.86 1.23 1.63 1.31 0.00 1.34 0.89

time (sec)

N/A 0.350 0.001 0.544 0.267 0.277 0.000 0.302 13.475

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 26 20 43 23 549 31 29

N.S.

1 1.00 0.79 0.61 1.30 0.70 16.64 0.94 0.88

time (sec)

N/A 0.288 0.003 0.286 0.383 0.286 20.776 0.284 13.328

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 18 14 25 12 178 22 13

N.S.

1 0.90 0.90 0.70 1.25 0.60 8.90 1.10 0.65

time (sec)

N/A 0.233 0.003 0.225 0.531 0.270 9.268 0.291 13.588

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 3 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.195 0.001 0.328 0.387 0.254 3.776 0.297 13.955

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 6 10 20 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.67 3.33 1.00 1.00

time (sec)

N/A 0.238 0.005 0.400 0.364 0.290 1.616 0.286 13.893

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 26 23 20 22 25 0 22 21

N.S.

1 0.90 0.79 0.69 0.76 0.86 0.00 0.76 0.72

time (sec)

N/A 0.266 0.001 0.588 0.265 0.291 0.000 0.317 13.661

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 32 27 24 28 31 0 28 33

N.S.

1 0.86 0.73 0.65 0.76 0.84 0.00 0.76 0.89

time (sec)

N/A 0.265 0.001 0.894 0.298 0.287 0.000 0.306 13.663

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 125 87 78 122 78 354 83 119

N.S.

1 1.15 0.80 0.72 1.12 0.72 3.25 0.76 1.09

time (sec)

N/A 0.240 0.335 1.423 0.391 0.310 0.831 0.333 15.601

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 98 64 62 97 63 250 64 91

N.S.

1 1.18 0.77 0.75 1.17 0.76 3.01 0.77 1.10

time (sec)

N/A 0.239 0.186 1.306 0.327 0.314 0.402 0.314 14.563

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 71 46 40 69 47 150 39 67

N.S.

1 1.25 0.81 0.70 1.21 0.82 2.63 0.68 1.18

time (sec)

N/A 0.222 0.118 0.603 0.345 0.270 0.199 0.308 13.822

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 33 24 29 29 51 25 27

N.S.

1 1.00 1.10 0.80 0.97 0.97 1.70 0.83 0.90

time (sec)

N/A 0.160 0.068 0.371 0.249 0.285 0.094 0.312 13.567

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 25 36 30 30 35 0 31 26

N.S.

1 1.39 2.00 1.67 1.67 1.94 0.00 1.72 1.44

time (sec)

N/A 0.206 0.019 0.916 0.369 0.323 0.000 0.316 13.299

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 28 41 46 27 38 0 35 31

N.S.

1 0.93 1.37 1.53 0.90 1.27 0.00 1.17 1.03

time (sec)

N/A 0.217 0.085 1.041 0.304 0.274 0.000 0.328 13.206

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 45 64 76 43 59 0 59 45

N.S.

1 0.90 1.28 1.52 0.86 1.18 0.00 1.18 0.90

time (sec)

N/A 0.236 0.388 1.139 0.348 0.273 0.000 0.340 13.478

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 64 86 104 60 77 0 81 59

N.S.

1 0.89 1.19 1.44 0.83 1.07 0.00 1.12 0.82

time (sec)

N/A 0.254 0.489 1.140 0.264 0.302 0.000 0.366 13.651

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 157 96 96 169 114 481 104 160

N.S.

1 1.01 0.62 0.62 1.08 0.73 3.08 0.67 1.03

time (sec)

N/A 0.298 2.359 1.635 0.349 0.296 0.729 0.374 14.903

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 128 79 78 127 85 314 81 120

N.S.

1 1.10 0.68 0.67 1.09 0.73 2.71 0.70 1.03

time (sec)

N/A 0.303 2.242 0.838 0.337 0.293 0.380 0.349 14.507

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 58 56 68 63 168 58 77

N.S.

1 1.00 0.81 0.78 0.94 0.88 2.33 0.81 1.07

time (sec)

N/A 0.214 0.257 0.926 0.248 0.277 0.188 0.293 14.113

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 61 48 65 74 68 0 77 74

N.S.

1 1.20 0.94 1.27 1.45 1.33 0.00 1.51 1.45

time (sec)

N/A 0.275 0.913 1.332 0.332 0.287 0.000 0.314 13.844

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 59 76 53 70 0 74 46

N.S.

1 1.09 1.31 1.69 1.18 1.56 0.00 1.64 1.02

time (sec)

N/A 0.256 0.248 1.060 0.443 0.288 0.000 0.343 13.771

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 48 67 101 55 83 0 80 44

N.S.

1 0.91 1.26 1.91 1.04 1.57 0.00 1.51 0.83

time (sec)

N/A 0.249 1.331 1.011 0.259 0.269 0.000 0.356 13.783

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 72 92 149 81 108 0 118 72

N.S.

1 0.90 1.15 1.86 1.01 1.35 0.00 1.48 0.90

time (sec)

N/A 0.279 3.009 1.231 0.254 0.269 0.000 0.368 14.141

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 95 107 195 103 128 0 156 94

N.S.

1 0.90 1.01 1.84 0.97 1.21 0.00 1.47 0.89

time (sec)

N/A 0.299 6.059 1.686 0.268 0.268 0.000 0.373 14.001